home *** CD-ROM | disk | FTP | other *** search
- Path: anvil.ugrad.cs.ubc.ca!not-for-mail
- From: c2a192@ugrad.cs.ubc.ca (Kazimir Kylheku)
- Newsgroups: comp.lang.ada,comp.lang.c,comp.lang.c++
- Subject: Re: C/C++ knocks the crap out of Ada
- Date: 29 Feb 1996 15:22:08 -0800
- Organization: Computer Science, University of B.C., Vancouver, B.C., Canada
- Message-ID: <4h5cf0INNanc@anvil.ugrad.cs.ubc.ca>
- References: <JSA.96Feb16135027@organon.com> <1996Feb22.005518.13396@leeweyr.sccsi.com> <4gvrffINNlqo@anvil.ugrad.cs.ubc.ca> <JSA.96Feb29151220@organon.com>
- NNTP-Posting-Host: anvil.ugrad.cs.ubc.ca
-
- In article <JSA.96Feb29151220@organon.com>,
- Jon S Anthony <jsa@organon.com> wrote:
- >In article <4gvrffINNlqo@anvil.ugrad.cs.ubc.ca> c2a192@ugrad.cs.ubc.ca (Kazimir Kylheku) writes:
- >
- >> And it should certainly not be written in some poorly standardized
- >> language, for which no two implementations are in agreement. C is
- >> governed by an ISO standard, which, if adhered to, lets a strictly
- >> conforming program translated by a strictly conforming
- >> implementation yield well-defined results.
- >>
- >> I don't think you can say the same for Ada or C++.
- >
- >And you are, of course, in error. Indeed, Ada is an ISO/ANSI standard.
- >And it has a much more well defined semantics than ISO C (not nearly as
- >many or as confusingly stated "implementation defined" bits). And, of
-
- I'll grant you that. C has that ``dark side'' that allows you to take advantage
- of machine architecture. Of course, it is well-defined which bits are
- "implementation defined".
-
- >course, there is at least the ACVC Ada compiler validation test suite.
- >Only compilers passing this test suite can be termed "validated". Sure,
- >it does not gurantee perfect compliance with all the RM, but goes a long
- >way toward ensuring consistency and compliance of those compilers that
- >pass it. There is no such official test suite for validating C. So,
-
- That's a severe lack, unfortunately.
- --
-
-